Works by José Alfredo Amor

( view other items matching `José Alfredo Amor`, view all matches )
Order:
  1. Strong Soundness-Completeness Theorem: a semantic approach.José Alfredo Amor - 2009 - Teorema: International Journal of Philosophy 28 (3):173-190.
     
    Export citation  
     
    Bookmark  
  2.  22
    Un refinamiento del concepto de sistema axiomático.José Alfredo Amor - 2003 - Signos Filosóficos 6 (11):121-140.
    The aim of this paper is to propose a particular conception and formulation of the concepts of formal derivation and axiomatic system, which, although not orthodox, remain part of classical first order logic. It is proposed, in particular, that the definition of formal derivation includes the pos..
    Direct download  
     
    Export citation  
     
    Bookmark